/*
 * RAndR.h
 *
 *  Created on: May 1, 2012
 *      Author: kobe
 */

#ifndef RANDR_H_
#define RANDR_H_

#include "Rule.h"
#include "Conjunction.h"
#include "Proposition.h"
#include "Util.h"

class R_AndR: public Rule {
public:
	R_AndR();
	virtual ~R_AndR();
	std::vector<Sequent*> run(Sequent*);
	std::string toString();
	std::string toLatex();
};

#endif /* RANDR_H_ */
